A Formal Framework for Service Orchestration Testing Based on Symbolic Transition Systems
نویسندگان
چکیده
The pre-eminent role played by software composition, and more particularly service composition, in modern software development, together with the complexity of workflow languages such as WS-BPEL have made composite service testing a topical issue. In this article we contribute to this issue with an automatic testing approach for WSBPEL orchestrations. Compared to related work, we support WS-BPEL data computations and exchanges, while overcoming the consequential state explosion problem. This is achieved through the use of symbolic transition system models and their symbolic execution. Throughout the article, we illustrate our approach on a realistic medium-size example. keywords: service composition, orchestration, formal testing, test-case generation, WS-BPEL, transition systems, symbolic execution.
منابع مشابه
Checking the Behavioral Conformance of Web Services with Symbolic Testing and an SMT Solver
Workflow-based service composition languages foster the rapid design and development of distributed applications. The behavioral verification of service Compositions has widely been addressed at design time, using modelchecking. Testing is a complementary technique when it comes to check the behavioral conformance of a service implementation with respect to its specification or to a user or a s...
متن کاملA Framework for Modeling and Testing of Web Services Orchestration
The Web Services and service-based systems gained extreme popularity in the recent years. While various testing frameworks exist for web services, they mostly cover unit testing and do not take into account the complete architecture built with service compositions. In our research we start from a high level system model expressed with SOA Logical Architecture UML2 Profile, from which we generat...
متن کاملA Symbolic Framework for Model-Based Testing
The starting point for Model-Based Testing is an implementation relation that formally defines when a formal model representing the System Under Test conforms to a formal model constituting its specification. An implementation relation for the formalism of Labelled Transition Systems is ioco. For ioco several test generation algorithms and test tools have been built. In this paper we define a f...
متن کاملFormalizing languages for service oriented computing
Service Oriented Computing is a new programming paradigm for addressing distributed system design issues. Services are autonomous computational entities which can be dynamically discovered and composed in order to form more complex systems able to achieve different kinds of task. E-government, e-business and e-science are some examples of the IT areas where Service Oriented Computing will be ex...
متن کاملModélisation et Test Fonctionnel de l'Orchestration de Services Web. (Modelisation & Functional Testing of Web Services Orchestration)
Last years have seen the emergence of the service oriented architecture (SOA) designed to facilitate the creation, the publication, the networking and the reuse of applications based on services. Web services are the most important realization of the SOA architecture. They are self descriptive and modular entities which provide a simple model of programming and application deployment. Web servi...
متن کامل